1. Formal techniques for networked and distributed systems - FORTE 2002 :
پدیدآورنده : Doron A. Peled ; Moshe Y. Vardi (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formale Methode.,Formale Spezifikationstechnik.,Kommunikationsprotokoll.
رده :
QA76
.
9
.
F67
D676
2002
